2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 73 49 0 114 0 101 0

N.S.

1 1.00 2.03 1.36 0.00 3.17 0.00 2.81 0.00

time (sec)

N/A 0.343 0.418 1.766 0.000 0.266 0.000 0.345 0.000

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 124 125 112 0 238 0 210 0

N.S.

1 1.19 1.20 1.08 0.00 2.29 0.00 2.02 0.00

time (sec)

N/A 0.582 0.979 2.322 0.000 0.284 0.000 0.341 0.000

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 123 146 145 0 299 0 297 0

N.S.

1 1.15 1.36 1.36 0.00 2.79 0.00 2.78 0.00

time (sec)

N/A 0.605 0.771 2.197 0.000 0.269 0.000 0.357 0.000

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 125 160 191 0 362 0 320 0

N.S.

1 1.11 1.42 1.69 0.00 3.20 0.00 2.83 0.00

time (sec)

N/A 0.615 0.962 2.712 0.000 0.270 0.000 0.386 0.000

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 166 271 245 0 440 0 386 0

N.S.

1 1.17 1.91 1.73 0.00 3.10 0.00 2.72 0.00

time (sec)

N/A 0.693 1.096 3.247 0.000 0.276 0.000 0.408 0.000

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 202 335 299 0 523 0 327 0

N.S.

1 1.15 1.91 1.71 0.00 2.99 0.00 1.87 0.00

time (sec)

N/A 0.825 1.396 3.030 0.000 0.274 0.000 0.455 0.000

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 146 73 81 0 265 0 243 0

N.S.

1 1.10 0.55 0.61 0.00 1.99 0.00 1.83 0.00

time (sec)

N/A 0.745 2.472 38.374 0.000 0.261 0.000 0.387 0.000

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 109 93 71 0 234 0 210 0

N.S.

1 1.09 0.93 0.71 0.00 2.34 0.00 2.10 0.00

time (sec)

N/A 0.601 4.185 37.120 0.000 0.256 0.000 0.423 0.000

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 72 49 61 0 179 0 136 0

N.S.

1 1.11 0.75 0.94 0.00 2.75 0.00 2.09 0.00

time (sec)

N/A 0.460 1.268 2.178 0.000 0.266 0.000 0.377 0.000

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 36 70 49 0 141 0 131 0

N.S.

1 1.09 2.12 1.48 0.00 4.27 0.00 3.97 0.00

time (sec)

N/A 0.323 0.444 2.082 0.000 0.279 0.000 0.373 0.000

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 163 153 129 0 265 0 290 0

N.S.

1 1.19 1.12 0.94 0.00 1.93 0.00 2.12 0.00

time (sec)

N/A 0.767 0.737 2.410 0.000 0.285 0.000 0.333 0.000

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 162 170 189 0 326 0 358 0

N.S.

1 1.18 1.24 1.38 0.00 2.38 0.00 2.61 0.00

time (sec)

N/A 0.771 0.816 2.895 0.000 0.294 0.000 0.371 0.000

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 164 184 239 0 388 0 381 0

N.S.

1 1.13 1.27 1.65 0.00 2.68 0.00 2.63 0.00

time (sec)

N/A 0.751 0.801 3.432 0.000 0.280 0.000 0.406 0.000

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 166 271 245 0 440 0 0 0

N.S.

1 1.16 1.90 1.71 0.00 3.08 0.00 0.00 0.00

time (sec)

N/A 0.740 1.038 3.509 0.000 0.265 0.000 0.000 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 207 335 299 0 523 0 513 0

N.S.

1 1.18 1.90 1.70 0.00 2.97 0.00 2.91 0.00

time (sec)

N/A 0.864 1.335 3.830 0.000 0.289 0.000 0.448 0.000

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 243 399 353 0 600 0 0 0

N.S.

1 1.17 1.93 1.71 0.00 2.90 0.00 0.00 0.00

time (sec)

N/A 1.047 2.221 4.194 0.000 0.292 0.000 0.000 0.000

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 134 109 69 238 74 0 325 0

N.S.

1 1.12 0.91 0.58 1.98 0.62 0.00 2.71 0.00

time (sec)

N/A 0.756 7.462 1.707 0.343 0.260 0.000 0.364 0.000

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 99 99 59 192 58 0 225 0

N.S.

1 1.11 1.11 0.66 2.16 0.65 0.00 2.53 0.00

time (sec)

N/A 0.621 6.468 1.601 0.318 0.267 0.000 0.347 0.000

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 64 87 49 146 41 0 64 90

N.S.

1 1.10 1.50 0.84 2.52 0.71 0.00 1.10 1.55

time (sec)

N/A 0.482 0.983 0.555 0.345 0.262 0.000 0.321 7.465

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 29 28 39 76 29 0 62 40

N.S.

1 1.04 1.00 1.39 2.71 1.04 0.00 2.21 1.43

time (sec)

N/A 0.331 0.467 0.559 0.335 0.251 0.000 0.307 0.226

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 81 96 86 0 154 0 125 0

N.S.

1 0.99 1.17 1.05 0.00 1.88 0.00 1.52 0.00

time (sec)

N/A 0.429 1.216 0.908 0.000 0.285 0.000 0.334 0.000

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 118 122 134 0 207 0 289 0

N.S.

1 1.07 1.11 1.22 0.00 1.88 0.00 2.63 0.00

time (sec)

N/A 0.527 1.604 0.927 0.000 0.288 0.000 0.331 0.000

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 154 159 210 0 241 0 375 0

N.S.

1 1.07 1.10 1.46 0.00 1.67 0.00 2.60 0.00

time (sec)

N/A 0.682 1.951 0.915 0.000 0.270 0.000 0.395 0.000

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 175 121 91 380 104 0 426 0

N.S.

1 1.09 0.75 0.57 2.36 0.65 0.00 2.65 0.00

time (sec)

N/A 0.929 8.879 20.086 0.338 0.269 0.000 0.409 0.000

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 138 109 79 334 91 0 119 0

N.S.

1 1.08 0.85 0.62 2.61 0.71 0.00 0.93 0.00

time (sec)

N/A 0.764 6.592 19.949 0.326 0.393 0.000 0.345 0.000

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 103 101 71 288 76 0 225 360

N.S.

1 1.08 1.06 0.75 3.03 0.80 0.00 2.37 3.79

time (sec)

N/A 0.623 1.487 19.856 0.329 0.266 0.000 0.404 11.991

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 70 89 61 239 57 0 111 120

N.S.

1 1.09 1.39 0.95 3.73 0.89 0.00 1.73 1.88

time (sec)

N/A 0.476 1.069 0.522 0.317 0.288 0.000 0.380 10.496

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 36 70 49 149 46 0 110 227

N.S.

1 1.09 2.12 1.48 4.52 1.39 0.00 3.33 6.88

time (sec)

N/A 0.328 0.497 0.571 0.395 0.256 0.000 0.316 9.348

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 117 106 109 0 204 0 201 0

N.S.

1 1.02 0.92 0.95 0.00 1.77 0.00 1.75 0.00

time (sec)

N/A 0.584 1.446 0.913 0.000 0.276 0.000 0.377 0.000

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 154 161 157 0 186 0 350 0

N.S.

1 1.08 1.13 1.10 0.00 1.30 0.00 2.45 0.00

time (sec)

N/A 0.667 1.920 0.861 0.000 0.264 0.000 0.499 0.000

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 190 153 233 0 241 0 457 0

N.S.

1 1.07 0.86 1.32 0.00 1.36 0.00 2.58 0.00

time (sec)

N/A 0.847 2.437 0.796 0.000 0.271 0.000 0.364 0.000

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 175 121 91 472 119 0 426 0

N.S.

1 1.09 0.75 0.57 2.93 0.74 0.00 2.65 0.00

time (sec)

N/A 0.965 8.234 179.742 0.300 0.272 0.000 0.393 0.000

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 138 111 81 426 106 0 325 542

N.S.

1 1.08 0.87 0.63 3.33 0.83 0.00 2.54 4.23

time (sec)

N/A 0.782 2.160 182.349 0.296 0.275 0.000 0.380 16.695

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 105 101 71 380 91 0 165 453

N.S.

1 1.08 1.04 0.73 3.92 0.94 0.00 1.70 4.67

time (sec)

N/A 0.606 1.766 180.855 0.295 0.266 0.000 0.352 11.845

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 72 89 61 331 74 0 207 355

N.S.

1 1.07 1.33 0.91 4.94 1.10 0.00 3.09 5.30

time (sec)

N/A 0.469 1.239 0.758 0.294 0.256 0.000 0.322 10.375

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 36 70 49 218 61 0 157 90

N.S.

1 1.09 2.12 1.48 6.61 1.85 0.00 4.76 2.73

time (sec)

N/A 0.346 0.658 0.633 0.293 0.251 0.000 0.325 9.660

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 153 186 122 0 241 0 278 0

N.S.

1 1.03 1.26 0.82 0.00 1.63 0.00 1.88 0.00

time (sec)

N/A 0.739 1.617 0.912 0.000 0.276 0.000 0.399 0.000

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-1) A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 190 171 170 0 238 0 424 0

N.S.

1 1.08 0.97 0.97 0.00 1.35 0.00 2.41 0.00

time (sec)

N/A 0.827 2.505 1.144 0.000 0.282 0.000 0.392 0.000

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-1) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 226 440 246 0 208 0 531 0

N.S.

1 1.08 2.10 1.17 0.00 0.99 0.00 2.53 0.00

time (sec)

N/A 1.029 3.355 1.016 0.000 0.283 0.000 0.423 0.000

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 43 86 81 0 95 0 51 99

N.S.

1 1.02 2.05 1.93 0.00 2.26 0.00 1.21 2.36

time (sec)

N/A 0.246 1.164 3.066 0.000 0.278 0.000 0.358 8.163

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 43 77 72 0 83 0 51 88

N.S.

1 1.08 1.92 1.80 0.00 2.08 0.00 1.28 2.20

time (sec)

N/A 0.252 0.897 3.050 0.000 0.285 0.000 0.344 7.596

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 43 63 55 0 61 0 51 71

N.S.

1 1.02 1.50 1.31 0.00 1.45 0.00 1.21 1.69

time (sec)

N/A 0.254 0.714 2.807 0.000 0.275 0.000 0.325 0.945

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 41 82 36 0 43 0 51 47

N.S.

1 1.02 2.05 0.90 0.00 1.08 0.00 1.28 1.18

time (sec)

N/A 0.244 0.064 3.262 0.000 0.269 0.000 0.302 6.759

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 53 117 96 63 0 0 53 0

N.S.

1 1.04 2.29 1.88 1.24 0.00 0.00 1.04 0.00

time (sec)

N/A 0.354 1.025 2.199 0.288 0.000 0.000 0.443 0.000

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 87 39 0 59 0 53 0

N.S.

1 1.00 2.18 0.98 0.00 1.48 0.00 1.32 0.00

time (sec)

N/A 0.278 0.716 3.213 0.000 0.248 0.000 0.308 0.000

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 43 90 67 0 73 0 53 142

N.S.

1 1.02 2.14 1.60 0.00 1.74 0.00 1.26 3.38

time (sec)

N/A 0.264 0.802 2.474 0.000 0.268 0.000 0.330 8.966

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 43 87 92 0 90 0 53 190

N.S.

1 1.10 2.23 2.36 0.00 2.31 0.00 1.36 4.87

time (sec)

N/A 0.259 1.283 3.639 0.000 0.262 0.000 0.343 11.069

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 89 149 92 0 101 0 104 111

N.S.

1 1.05 1.75 1.08 0.00 1.19 0.00 1.22 1.31

time (sec)

N/A 0.426 3.850 2.827 0.000 0.291 0.000 0.363 8.647

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 89 140 76 0 87 0 104 100

N.S.

1 1.05 1.65 0.89 0.00 1.02 0.00 1.22 1.18

time (sec)

N/A 0.428 2.950 2.933 0.000 0.269 0.000 0.377 8.425

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 89 69 49 0 60 0 100 66

N.S.

1 1.10 0.85 0.60 0.00 0.74 0.00 1.23 0.81

time (sec)

N/A 0.432 0.684 2.983 0.000 0.266 0.000 0.335 0.958

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 62 55 0 61 0 51 71

N.S.

1 1.00 1.44 1.28 0.00 1.42 0.00 1.19 1.65

time (sec)

N/A 0.260 5.529 2.901 0.000 0.297 0.000 0.336 7.116

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 97 116 203 0 0 0 96 0

N.S.

1 1.05 1.26 2.21 0.00 0.00 0.00 1.04 0.00

time (sec)

N/A 0.518 1.626 2.654 0.000 0.000 0.000 0.333 0.000

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 98 155 128 137 0 0 110 0

N.S.

1 1.03 1.63 1.35 1.44 0.00 0.00 1.16 0.00

time (sec)

N/A 0.534 6.143 3.250 0.292 0.000 0.000 0.372 0.000

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 102 51 0 80 0 87 0

N.S.

1 1.00 2.43 1.21 0.00 1.90 0.00 2.07 0.00

time (sec)

N/A 0.262 2.431 3.068 0.000 0.278 0.000 0.340 0.000

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 108 93 0 101 0 93 124

N.S.

1 1.00 1.23 1.06 0.00 1.15 0.00 1.06 1.41

time (sec)

N/A 0.458 1.583 3.138 0.000 0.269 0.000 0.331 10.658

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 92 108 119 0 114 0 87 195

N.S.

1 1.05 1.23 1.35 0.00 1.30 0.00 0.99 2.22

time (sec)

N/A 0.423 2.117 3.116 0.000 0.277 0.000 0.338 11.909

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 92 108 146 0 131 0 93 225

N.S.

1 1.05 1.23 1.66 0.00 1.49 0.00 1.06 2.56

time (sec)

N/A 0.421 3.109 3.265 0.000 0.276 0.000 0.338 13.060

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 138 159 94 0 112 0 156 124

N.S.

1 1.09 1.25 0.74 0.00 0.88 0.00 1.23 0.98

time (sec)

N/A 0.609 4.792 4.670 0.000 0.285 0.000 0.354 10.591

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 138 88 65 0 85 0 156 83

N.S.

1 1.09 0.69 0.51 0.00 0.67 0.00 1.23 0.65

time (sec)

N/A 0.629 0.930 4.645 0.000 0.267 0.000 0.342 1.609

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 136 76 0 87 0 150 100

N.S.

1 1.00 1.53 0.85 0.00 0.98 0.00 1.69 1.12

time (sec)

N/A 0.448 2.759 2.941 0.000 0.273 0.000 0.330 8.362

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 72 72 0 82 0 51 86

N.S.

1 1.00 1.67 1.67 0.00 1.91 0.00 1.19 2.00

time (sec)

N/A 0.255 5.599 3.285 0.000 0.261 0.000 0.309 7.479

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 144 130 241 0 0 0 128 0

N.S.

1 1.07 0.97 1.80 0.00 0.00 0.00 0.96 0.00

time (sec)

N/A 0.709 11.946 3.138 0.000 0.000 0.000 0.329 0.000

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 144 169 140 0 0 0 135 0

N.S.

1 1.04 1.22 1.01 0.00 0.00 0.00 0.98 0.00

time (sec)

N/A 0.734 6.846 3.016 0.000 0.000 0.000 0.364 0.000

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 148 191 195 184 0 0 125 0

N.S.

1 1.06 1.36 1.39 1.31 0.00 0.00 0.89 0.00

time (sec)

N/A 0.732 6.630 3.033 0.327 0.000 0.000 0.347 0.000

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 110 73 0 109 0 131 0

N.S.

1 1.00 2.62 1.74 0.00 2.60 0.00 3.12 0.00

time (sec)

N/A 0.258 12.740 3.023 0.000 0.266 0.000 0.316 0.000

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 118 121 0 133 0 123 242

N.S.

1 1.00 1.34 1.38 0.00 1.51 0.00 1.40 2.75

time (sec)

N/A 0.458 3.952 3.263 0.000 0.283 0.000 0.331 11.662

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 138 118 148 0 148 0 132 273

N.S.

1 1.04 0.89 1.11 0.00 1.11 0.00 0.99 2.05

time (sec)

N/A 0.649 5.674 3.036 0.000 0.281 0.000 0.323 12.450

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 144 118 175 0 162 0 123 287

N.S.

1 1.08 0.89 1.32 0.00 1.22 0.00 0.92 2.16

time (sec)

N/A 0.658 8.534 3.403 0.000 0.281 0.000 0.361 13.227

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 187 179 110 0 128 0 204 376

N.S.

1 1.11 1.06 0.65 0.00 0.76 0.00 1.21 2.22

time (sec)

N/A 0.806 8.952 4.646 0.000 0.279 0.000 0.336 11.494

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 187 98 75 0 101 0 204 179

N.S.

1 1.11 0.58 0.44 0.00 0.60 0.00 1.21 1.06

time (sec)

N/A 0.794 1.483 4.845 0.000 0.288 0.000 0.328 11.111

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 138 159 94 0 112 0 204 124

N.S.

1 1.03 1.19 0.70 0.00 0.84 0.00 1.52 0.93

time (sec)

N/A 0.636 4.539 4.092 0.000 0.282 0.000 0.411 10.948

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 145 92 0 101 0 104 109

N.S.

1 1.00 1.63 1.03 0.00 1.13 0.00 1.17 1.22

time (sec)

N/A 0.415 3.521 2.824 0.000 0.262 0.000 0.337 2.656

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 82 81 0 95 0 51 99

N.S.

1 1.00 1.91 1.88 0.00 2.21 0.00 1.19 2.30

time (sec)

N/A 0.254 5.629 3.096 0.000 0.272 0.000 0.307 8.617

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 191 140 270 0 0 0 141 0

N.S.

1 1.11 0.81 1.57 0.00 0.00 0.00 0.82 0.00

time (sec)

N/A 0.927 6.806 2.722 0.000 0.000 0.000 0.334 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 191 179 158 0 0 0 170 0

N.S.

1 1.04 0.98 0.86 0.00 0.00 0.00 0.93 0.00

time (sec)

N/A 0.957 7.888 2.615 0.000 0.000 0.000 0.344 0.000

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 196 207 218 0 0 0 153 0

N.S.

1 1.06 1.12 1.18 0.00 0.00 0.00 0.83 0.00

time (sec)

N/A 0.930 8.656 3.279 0.000 0.000 0.000 0.327 0.000

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 198 232 291 336 0 0 145 0

N.S.

1 1.09 1.27 1.60 1.85 0.00 0.00 0.80 0.00

time (sec)

N/A 0.963 8.421 2.947 0.303 0.000 0.000 0.328 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 115 90 0 127 0 155 0

N.S.

1 1.00 2.74 2.14 0.00 3.02 0.00 3.69 0.00

time (sec)

N/A 0.261 16.034 3.467 0.000 0.284 0.000 0.337 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 331 147 0 163 0 167 317

N.S.

1 1.00 3.76 1.67 0.00 1.85 0.00 1.90 3.60

time (sec)

N/A 0.430 8.398 3.128 0.000 0.283 0.000 0.353 12.714

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 138 335 175 0 178 0 155 330

N.S.

1 1.04 2.52 1.32 0.00 1.34 0.00 1.17 2.48

time (sec)

N/A 0.622 9.071 3.323 0.000 0.281 0.000 0.364 13.315

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 188 333 200 0 192 0 167 647

N.S.

1 1.06 1.87 1.12 0.00 1.08 0.00 0.94 3.63

time (sec)

N/A 0.845 10.331 3.447 0.000 0.311 0.000 0.359 14.651

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 196 329 227 0 204 0 155 673

N.S.

1 1.10 1.85 1.28 0.00 1.15 0.00 0.87 3.78

time (sec)

N/A 0.857 11.150 3.569 0.000 0.304 0.000 0.346 15.332

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 142 139 243 0 0 0 128 0

N.S.

1 1.02 1.00 1.75 0.00 0.00 0.00 0.92 0.00

time (sec)

N/A 0.728 12.224 3.141 0.000 0.000 0.000 0.335 0.000

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 95 122 207 0 0 0 96 0

N.S.

1 1.02 1.31 2.23 0.00 0.00 0.00 1.03 0.00

time (sec)

N/A 0.521 1.683 3.384 0.000 0.000 0.000 0.334 0.000

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A F F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 51 119 95 64 0 0 219 0

N.S.

1 1.04 2.43 1.94 1.31 0.00 0.00 4.47 0.00

time (sec)

N/A 0.339 1.192 2.283 0.297 0.000 0.000 0.365 0.000

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 112 74 0 160 0 0 0

N.S.

1 1.00 2.43 1.61 0.00 3.48 0.00 0.00 0.00

time (sec)

N/A 0.314 0.393 4.793 0.000 0.302 0.000 0.000 0.000

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 158 247 0 311 0 172 0

N.S.

1 1.00 1.66 2.60 0.00 3.27 0.00 1.81 0.00

time (sec)

N/A 0.546 0.891 3.299 0.000 0.345 0.000 0.317 0.000

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 145 213 424 0 376 0 184 0

N.S.

1 1.04 1.52 3.03 0.00 2.69 0.00 1.31 0.00

time (sec)

N/A 0.743 0.793 2.970 0.000 0.334 0.000 0.343 0.000

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 190 165 158 0 0 0 170 0

N.S.

1 1.04 0.91 0.87 0.00 0.00 0.00 0.93 0.00

time (sec)

N/A 0.963 7.705 2.878 0.000 0.000 0.000 0.334 0.000

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 143 156 141 0 0 0 131 0

N.S.

1 1.01 1.11 1.00 0.00 0.00 0.00 0.93 0.00

time (sec)

N/A 0.719 6.662 3.214 0.000 0.000 0.000 0.602 0.000

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 99 139 130 136 0 0 110 0

N.S.

1 1.03 1.45 1.35 1.42 0.00 0.00 1.15 0.00

time (sec)

N/A 0.531 1.232 2.815 0.296 0.000 0.000 0.514 0.000

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 87 39 0 58 0 53 52

N.S.

1 1.00 2.12 0.95 0.00 1.41 0.00 1.29 1.27

time (sec)

N/A 0.258 1.016 2.847 0.000 0.282 0.000 0.507 7.834

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 95 145 242 0 305 0 165 0

N.S.

1 1.03 1.58 2.63 0.00 3.32 0.00 1.79 0.00

time (sec)

N/A 0.498 0.762 3.041 0.000 0.314 0.000 0.734 0.000

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 142 175 95 0 262 0 0 0

N.S.

1 1.04 1.28 0.69 0.00 1.91 0.00 0.00 0.00

time (sec)

N/A 0.712 0.795 3.238 0.000 0.313 0.000 0.000 0.000

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 195 274 202 0 377 0 218 0

N.S.

1 1.07 1.51 1.11 0.00 2.07 0.00 1.20 0.00

time (sec)

N/A 0.945 1.155 2.890 0.000 0.334 0.000 0.361 0.000

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

233 240 205 227 0 0 0 188 0

N.S.

1 1.03 0.88 0.97 0.00 0.00 0.00 0.81 0.00

time (sec)

N/A 1.220 11.133 2.896 0.000 0.000 0.000 0.329 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 195 190 217 0 0 0 154 0

N.S.

1 1.04 1.01 1.15 0.00 0.00 0.00 0.82 0.00

time (sec)

N/A 1.001 7.663 2.992 0.000 0.000 0.000 0.324 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 149 178 193 183 0 0 129 0

N.S.

1 1.04 1.24 1.35 1.28 0.00 0.00 0.90 0.00

time (sec)

N/A 0.729 1.791 3.214 0.293 0.000 0.000 0.324 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 92 50 0 80 0 93 118

N.S.

1 1.00 2.19 1.19 0.00 1.90 0.00 2.21 2.81

time (sec)

N/A 0.267 1.195 3.141 0.000 0.278 0.000 0.540 8.055

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 87 67 0 73 0 53 103

N.S.

1 1.00 2.02 1.56 0.00 1.70 0.00 1.23 2.40

time (sec)

N/A 0.256 1.072 2.743 0.000 0.262 0.000 0.501 7.336